大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Miami Winter Symposium (15th : 1983) 的图书(共3222本)

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

PRIMA 2012: Principles and Practice of Multi-Agent Systems [electronic resource] : 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings

0
索取号：
作者：Rahwan、 Iyad.、Wobcke、 Wayne.、Sen、 Sandip.、Sugawara、 Toshiharu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Pattern Recognition [electronic resource] : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings

0
索取号：
作者：Pinz、 Axel.、Pock、 Thomas.、Bischof、 Horst.、Leberl、 Franz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

0
索取号：
作者：Bikakis、 Antonis.、Giurca、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Autonomous Robotics [electronic resource] : Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012

0
索取号：
作者：Herrmann、 Guido.、Studley、 Matthew.、Pearson、 Martin.、Conn、 Andrew.、Melhuish、 Chris.、Witkowski、 Mark.、Kim、 Jong-Hwan.、Vadakkepat、 Prahlad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings

0
索取号：
作者：Gupta、 Anupam.、Jansen、 Klaus.、Rolim、 Jos茅.、Servedio、 Rocco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Wassyng、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Optimization [electronic resource] : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers

0
索取号：
作者：Mahjoub、 A. Ridha.、Markakis、 Vangelis.、Milis、 Ioannis.、Paschos、 Vangelis Th.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Pe帽a、 Ricardo.、Page、 Rex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Grammar [electronic resource] : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers

0
索取号：
作者：Groote、 Philippe.、Nederhof、 Mark-Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、Mohanty、 Sanghamitra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings

0
索取号：
作者：Souto、 Marcilio C.、Kann、 Maricel G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 4th Symposium on Hybrid RANS-LES Methods, Beijing, China, September 2011

0
索取号：
作者：Fu、 Song.、Haase、 Werner.、Peng、 Shia-Hui.、Schwamborn、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Wright、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.